Pada tingkat dasarnya, sebuah daftar berkait adalah struktur data rekursif yang didefinisikan berdasarkan keberadaan atau komposisinya sendiri. Sebuah daftar adalah salah satu dari: kosong (direpresentasikan sebagai []) atau terdiri dari sebuah Kepala yang berisi satu nilai tunggal dan sebuah Ekor yang merupakan daftar lengkap lainnya.

1. Definisi Rekursif

Dengan mendefinisikan ekor sebagai "dirinya sendiri sebuah daftar", kita memungkinkan penyusunan tak hingga. Ini diilustrasikan oleh pembentukan [ 1 | [ 2 | [ 3 | [ ] ] ] ], di mana setiap operator pipa (|) memisahkan nilai langsung dari struktur sisa.

2. Primitif vs. Abstraksi

Daftar primitif di VM Erlang (BEAM) adalah struktur sederhana. Perilaku seperti List.flatten/1 adalah abstraksi yang disediakan oleh modul List Elixir. Struktur data mentah tidak "tahu" cara menggabungkan dirinya sendiri; modul menyediakan logika untuk menelusuri kepala dan ekor bersarang.

3. Analogi "Boneka Bersarang"

Bayangkan daftar berkait seperti serangkaian boneka bersarang Rusia. Boneka paling luar adalah Kepala. Ketika Anda membukanya, Anda hanya menemukan satu hal: boneka lain (yaitu Ekor). Anda hanya mencapai kondisi Kosong ketika Anda membuka boneka terakhir dan terkecil, serta tidak menemukan apa pun di dalamnya.